STM: poset sig wf

ABS: |p|

STM: set car wf

ABS: =

STM: set eq wf

ABS: 

STM: set le wf

Up

sets 1